package it.fuzzylogics.fuzzywidgetsLibrary.client.FuzzyTextbox;

import com.google.gwt.user.client.DOM;
import com.google.gwt.user.client.ui.TextBox;

public class FTextBox extends TextBox {

    public void setPixelSize(int w, int h) {
        super.setPixelSize(w, h);
        int fontSize = (h * 12 / 20);
        DOM.setStyleAttribute(this.getElement(), "fontSize", (fontSize > 6 ? fontSize : 6) + "px");
    }


}
